type RingF1[A] = RingF[RingF[A]]